Towards a practical theory of reformulation for reasoning about physical systems
نویسندگان
چکیده
منابع مشابه
Towards a practical theory of reformulation for reasoning about physical systems
Reformulation is ubiquitous in problem solving and is especially common in modeling physical systems. In this paper we examine reformulation techniques in the context of reasoning about physical systems. This paper does not present a general theory of reformulation, but it studies a number of known reformulation techniques to achieve a broad understanding of the space of available reformulation...
متن کاملTowards a Logical Theory of Practical Reasoning
From the very beginning, logicians have counted practical (or action-oriented) reasoning as well as theoretical (or belief-oriented) reasoning as part of their subject. However, despite a tradition that continues to the present, logicians have not produced formalisms that could be considered of any use in designing an agent that needs to act intelligently, or in helping an intelligent agent to ...
متن کاملA Practical Nonmonotonic Theory for Reasoning about Speech Acts
A prerequisite to a theory of the way agents understand speech acts is a theory of how their beliefs and intentions are revised as a consequence of events. This process of attitude revision is an interesting domain for the application of nonmonotonic reasoning because speech acts have a conventional aspect that is readily represented by defaults, but that interacts with an agent's beliefs and i...
متن کاملMultimodal Reasoning about Physical Systems
We present a knowledge representation and reasoning framework that integrates qualitative reasoning, qualitative simulation, numerical simulation, geometric reasoning, constraint reasoning, resolution, reasoning with abstraction levels, declarative meta-level control, and a simple form of truth maintenance. The framework is the core of PRET, a system identification program that automates the pr...
متن کاملReformulation for Extensional Reasoning
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Today, automated theorem provers are not able to take advantage of database query engines and therefore do not routinely leverage that source of power. Extensional Reasoning (ER) is an approach to automated theorem provi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2005
ISSN: 0004-3702
DOI: 10.1016/j.artint.2004.01.004